COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Dear Professor Newell,
C00004 ENDMK
C⊗;
Dear Professor Newell,

I am  a fourth-year  grad student  in Stanford's  CS Department,  and
expect to  receive my Ph.D. by next  Fall. Ed Feigenbaum, my adviser,
tells me that he has recently mentioned this to you.

My thesis research  is concerned with  how one  might explain --  and
automate --  the formation of  new mathematical theories.   I've been
working on  a program which can develop simple mathematical concepts,
which aims at expertise  in proposing new definitions and  in theorem
PROPOSING, rather than theorem PROVING.

I am available for a  chat, at your convenience, about what I've been
doing, and what my goals are for  the next few years. Ed informed  me
that you were  in the neighborhood now, so  let me give you  my local
phone numbers:

At home: 415-329-1031
At the Stanford AI Lab: 415-497-4971

I'll  mail you a description  of my thesis project,  in case we don't
meet this time.


Sincerely,
Doug Lenat